Pruebas formales automatizadas de identidades combinatorias mediante guía de Wilf-Zeilberger y modelos de lenguaje grandes
Pruebas formales automatizadas de identidades combinatorias con Wilf-Zeilberger y LLMs. Descubre cómo la IA acelera demostraciones matemáticas.